$\forall$$D$:Dsys, $i$:Id. Feasible($D$) $\Rightarrow$ AtomFree(da(M($i$)))